kind-loc(k;i) == islocal(k)  destination(lnk(k)) = i 

latex

Definitions	p  q, islocal(k), a = b, destination(l), lnk(k)
FDL editor aliases	kind-loc